Markov processes - PDFSEARCH.IO - Document Search Engine

Markov processes
Results: 1286

#	Item
11	Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-03-19 06:17:12 Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal
12	Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tom´asˇ Br´azdil V´aclav Broˇzek Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-07 04:04:14
13	Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:02:39
14	Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:33:37 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Symbol Differential topology Lifting theory Jet bundle
15	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
16	Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes Pascal Poupart† , Aarti Malhotra† , Pei Pei† , Kee-Eung Kim§ , Bongseok Goh§ and Michael Bowling‡ † David R. Cher Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-11-20 17:49:33
17	Monte Carlo Markov Chain Algorithms for Sampling Strongly Rayleigh Distributions and Determinantal Point Processes Nima Anari ∗ Add to Reading List Source URL: nimaanari.com Language: English - Date: 2018-07-31 20:03:09
18	1 Finite Model Approximations for Partially Observed Markov Decision Processes with Discounted Cost arXiv:1710.07009v1 [cs.SY] 19 Oct 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-10-19 20:34:28
19	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 6, JUNEOnline Markov Decision Processes With Kullback–Leibler Control Cost Add to Reading List Source URL: maxim.ece.illinois.edu Language: English - Date: 2014-08-25 15:37:24
20	A 2D Systems Approach to Iterative Learning Control for Discrete Linear Processes with Zero First Markov Parameter Lukasz Hladowski, Krzysztof Galkowski, Zhonglun Cai, Eric Rogers, Chris T Freeman and Paul L Lewin Abstra Add to Reading List Source URL: dcas.gist.ac.kr Language: English - Date: 2009-12-01 09:12:35

UPDATE